In geometry, Pasch's theorem, stated in 1882 by a German mathematician Moritz Pasch, is a result of plane geometry which cannot be derived from Euclid's postulates. It would now be considered as order theory, but the point it makes is in relation to the axiomatic method.
The statement is as follows. Given points a, b, c, and d on a line, if it is known that the points are ordered as (a, b, c) and (b, c, d), then it is also true that (a, b, d). [Here, for example, (a, b, c) means that point b lies between points a and c.]